منابع مشابه
General LTL Specification Mining
Temporal properties are useful for describing and reasoning about software behavior, but developers rarely write down temporal specifications of their systems. Prior work on inferring specifications developed tools to extract likely program specifications that fit particular kinds of tool-specific templates. This paper introduces Texada, a new temporal specification mining tool for extracting s...
متن کاملSpecification and Planning of Interactive UAV Missions in Adversarial Environments
In this paper, specification and planning of UAV missions, in which interaction with the operators, adversaries, and the environment plays a crucial role, are studied. A novel specification method is introduced to model interactive tasks in UAV missions and process algebra framework is used to model complex interactive tasks from relatively simple ones. An anytime state-space search algorithm i...
متن کاملSpecification Mining with Few False Positives
Formal specifications can help with program testing, optimization, refactoring, documentation, and, most importantly, debugging and repair. Unfortunately, formal specifications are difficult to write manually and techniques that infer specifications automatically suffer from 90–99% false positive rates. Consequently, neither option is currently practiced for most software development projects. ...
متن کاملSpecification Mining: New Formalisms, Algorithms and Applications
Specification Mining: New Formalisms, Algorithms and Applications
متن کاملSymbolic Automata for Static Specification Mining
We present a formal framework for static specification mining. The main idea is to represent partial temporal specifications as symbolic automata – automata where transitions may be labeled by variables, and a variable can be substituted by a letter, a word, or a regular language. Using symbolic automata, we construct an abstract domain for static specification mining, capturing both the partia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2021
ISSN: 1049-331X,1557-7392
DOI: 10.1145/3424307